Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
11	Stably Computing Order Statistics with Arithmetic Population Protocols∗ George B. Mertzios1 , Sotiris E. Nikoletseas2,3 , Christoforos L. Raptopoulos2,3 , and Paul G. Spirakis2,3,4 1 2 Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2016-06-08 05:06:10 FO Finite model theory Module:Ccnorm
12	A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-04-03 11:35:00 Mathematics Theoretical computer science Abstract algebra FO Finite model theory Sheaf Boolean satisfiability problem Uniform space
13	Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.uk Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:36 Computational complexity theory Theory of computation Theoretical computer science NP-complete problems Complexity classes Logic in computer science Finite model theory Parameterized complexity Resolution Exponential time hypothesis Boolean satisfiability problem Conjunctive normal form
14	A Non-Hydrostatic Shallow Water Model on Triangular Meshes in Sam(oa)2 Guided Research Project Philipp Samfaß Fakul¨at f¨ Add to Reading List Source URL: www5.in.tum.de Language: English - Date: 2015-05-20 11:59:54 Calculus Partial differential equations Water waves Physics Mathematical analysis Shallow water equations NavierStokes equations MEMO Model Differential equation Hydrostatics Finite element method Airy wave theory
15	Microsoft Word - PORTS_handout_2016rev022516 Add to Reading List Source URL: ports.parks.ca.gov Language: English - Date: 2016-02-29 14:18:09 FO Finite model theory
16	network SUMMER BRAIN CAMP Add to Reading List Source URL: calgaryreads.com Language: English - Date: 2016-06-23 14:54:46 FO Finite model theory Obfuscation
17	Using Partial Evaluation in Distributed Query Evaluation Peter Buneman Gao Cong University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:13 FO Finite model theory XPath Bin Computing
18	1 Finding Almost-Invariants in Distributed Systems Maysam Yabandeh‡ , Abhishek Anand† , Marco Canini∗ , and Dejan Kosti´c∗ ∗ EPFL, Lausanne, Switzerland † Cornell University, Ithaca NY, USA, (work done duri Add to Reading List Source URL: perso.uclouvain.be Language: English - Date: 2014-02-09 12:29:53 Logic Mathematical logic Computing Formal methods Predicate logic Finite model theory Computer programming Invariant First-order logic Daikon FO Chord
19	Meta-Predicates for Rodin Sebastian Krings Institut f¨ ur Informatik, Universit¨ at D¨ usseldorf Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:24:18 Formal methods Theoretical computer science FO Finite model theory Model checking Linguistics B-Method Rodin Control Predicate Cognitive science
20	Model Theory of Finite Difference Fields and Simple Groups Mark Jonathan Ryten Submitted in accordance with the requirements of the degree of PhD The University of Leeds Department of Pure Mathematics Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2008-06-16 11:19:27 Algebra Mathematics Abstract algebra Metalogic Model theory Claude Chevalley Simple group Asymptotic theory Field